Search Results for ''

published presentations and documents on DocSlides.

Understanding Program Verification

by arya

K. Rustan M. Leino. RiSE. , Microsoft Research, Re...